Recursive function theory and numerical analysis
نویسندگان
چکیده
منابع مشابه
A foundation for real recursive function theory
The class of recursive functions over the reals, denoted by REC(R), was introduced by Cristopher Moore in his seminal paper written in 1995. Since then many subsequent investigations brought new results: the class REC(R) was put in relation with the class of functions generated by the General Purpose Analogue Computer of Claude Shannon; classical digital computation was embedded in several ways...
متن کاملthe analysis of the role of the speech acts theory in translating and dubbing hollywood films
از محوری ترین اثراتی که یک فیلم سینمایی ایجاد می کند دیالوگ هایی است که هنرپیش گان فیلم میگویند. به زعم یک فیلم ساز, یک شیوه متأثر نمودن مخاطب از اثر منظوره نیروی گفتارهای گوینده, مثل نیروی عاطفی, ترس آور, غم انگیز, هیجان انگیز و غیره, است. این مطالعه به بررسی این مسأله مبادرت کرده است که آیا نیروی فراگفتاری هنرپیش گان به مثابه ی اعمال گفتاری در پنج فیلم هالیوودی در نسخه های دوبله شده باز تولید...
15 صفحه اولComplexity Theory and Numerical Analysis ∗
Complexity theory of numerical analysis is the study of the number of arithmetic operations required to pass from the input to the output of a numerical problem. To a large extent this requires the (global) analysis of the basic algorithms of numerical analysis. This analysis is complicated by the existence of ill-posed problems, conditioning and roundoff error. A complementary aspect (“lower b...
متن کاملNumerical Analysis and Systems Theory †
The area of numerical analysis interacts with the area of control and systems theory in a number of ways, some of which are widely recognized and some of which are not fully appreciated or understood. Many of these topics were part of the presentations at the 2000 Mathematical Theory of Networks and Systems Conference held in Perpignan, France. Several of these contributions are included in the...
متن کاملSystem theory for numerical analysis
System theory for numerical analysis has recently become a focus of research. In this paper we regard dynamics of Newton’s method as a nonlinear feedback system and derive convergence conditions, based on the internal model principle and systems of Lur’e type. We then focus our attention on the analysis of the region of absolute stability of Runge-Kutta type methods. We derive a linear matrix i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Computer and System Sciences
سال: 1970
ISSN: 0022-0000
DOI: 10.1016/s0022-0000(70)80043-5